Calculating the Failure Intensity of a Non-coherent Fault Tree Using the BDD Technique
نویسنده
چکیده
This paper considers a technique for calculating the unconditional failure intensity of any given non-coherent fault tree. Conventional Fault Tree Analysis (FTA) techniques involve the evaluation of lengthy series expansions and approximations are unavoidable even for moderate sized fault trees. The Binary Decision Diagram (BDD) technique overcomes some of the shortfalls of conventional FTA techniques enabling efficient and exact quantitative analysis of both coherent and non-coherent fault trees.
منابع مشابه
Remenyte-Prescott, Rasa and Andrews, John (2009) An efficient real-time method of analysis for non-coherent fault trees. Quality and Reliability Engineering
Fault tree analysis is commonly used to assess the reliability of potentially hazardous industrial systems. The type of logic is usually restricted to AND and OR gates which makes the fault tree structure coherent. In non-coherent structures not only components’ failures but also components’ working states contribute to the failure of the system. The qualitative and quantitative analyses of suc...
متن کاملAn efficient real-time method of analysis for non-coherent fault trees
Fault tree analysis is commonly used to assess the reliability of potentially hazardous industrial systems. The type of logic is usually restricted to AND and OR gates which makes the fault tree structure coherent. In non-coherent structures not only components’ failures but also components’ working states contribute to the failure of the system. The qualitative and quantitative analyses of suc...
متن کاملAn enhanced component connection method for conversion of fault trees to binary decision diagrams
Fault Tree Analysis (FTA) is widely applied to assess the failure probability of industrial systems. Many computer packages are available which are based on conventional Kinetic Tree Theory methods. When dealing with large (possibly non-coherent) fault trees, the limitations of the technique in terms of accuracy of the solutions and the efficiency of the processing time becomes apparent. Over r...
متن کاملAnalysis of Non-coherent Fault Trees Using Ternary Decision Diagrams
Risk and safety assessments performed on potentially hazardous industrial systems commonly utilise Fault Tree Analysis (FTA) to forecast the probability of system failure. The type of logic for the top event is usually limited to AND and OR gates which leads to a coherent fault tree structure. In non-coherent fault trees components’ working states as well as components’ failures contribute to t...
متن کاملDynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis
Binary Decision Diagram (BDD) based fault tree analysis algorithms are among the most efficient ones. They allow performing exact probabilistic analyses, as well as to derive a Zero-suppressed BDD (ZBDD) to efficiently encode Significant Prime Implicants (PI) or Minimal Cut Sets (MCS). The present paper describes a dynamic labelling method for BDD/ZBDD to analyse non-coherent fault trees. An LB...
متن کامل